runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245694-1500686319/watcher-4245694-1500686319 -o /tmp/evaluation-result-4245694-1500686319/solver-4245694-1500686319 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1692176581 HOME/instance-4245694-1500686319.xml
pid=29715
running on 8 cores: 1,3,5,7,9,11,13,15
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.73 15.49 14.75 10/271 29718
/proc/meminfo: memFree=31488720/32770624 swapFree=5804/224848
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
[startup+0.100112 s]
/proc/loadavg: 14.73 15.49 14.75 10/271 29718
/proc/meminfo: memFree=31488720/32770624 swapFree=5804/224848
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200314 s]
/proc/loadavg: 14.73 15.49 14.75 10/271 29718
/proc/meminfo: memFree=31488720/32770624 swapFree=5804/224848
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30028 s]
/proc/loadavg: 14.73 15.49 14.75 10/271 29718
/proc/meminfo: memFree=31488720/32770624 swapFree=5804/224848
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700174 s]
/proc/loadavg: 14.73 15.49 14.75 10/271 29718
/proc/meminfo: memFree=31488720/32770624 swapFree=5804/224848
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5012 s]
/proc/loadavg: 14.59 15.45 14.74 18/300 29747
/proc/meminfo: memFree=31361732/32770624 swapFree=5804/224888
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
[pid=29719] ppid=29718 vsize=13802796 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/29719/stat : 29719 (java) S 29718 29718 14782 0 -1 1077944320 25194 0 0 0 602 17 0 0 20 0 28 0 3898232 14134063104 52743 33554432000 4194304 4196468 140733822190240 140733822172784 139760579325687 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
/proc/29719/statm: 3450699 52743 3242 1 0 3437932 0
[pid=29719/tid=29720] ppid=29718 vsize=13802796 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29720/stat : 29720 (java) S 29718 29718 14782 0 -1 1077944384 7683 0 0 0 98 3 0 0 20 0 28 0 3898232 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760583566464 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29722] ppid=29718 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29722/stat : 29722 (java) S 29718 29718 14782 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 28 0 3898233 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760178256144 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29723] ppid=29718 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29723/stat : 29723 (java) S 29718 29718 14782 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 28 0 3898233 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760177203600 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29724] ppid=29718 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29724/stat : 29724 (java) S 29718 29718 14782 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 28 0 3898233 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760176151056 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29725] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29725/stat : 29725 (java) S 29718 29718 14782 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3898233 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760175098512 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29726] ppid=29718 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29726/stat : 29726 (java) S 29718 29718 14782 0 -1 1077944384 118 0 0 0 0 1 0 0 20 0 28 0 3898233 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760174045968 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29727] ppid=29718 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29727/stat : 29727 (java) S 29718 29718 14782 0 -1 1077944384 15 0 0 0 0 1 0 0 20 0 28 0 3898233 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760172993424 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29728] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29728/stat : 29728 (java) S 29718 29718 14782 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 3898233 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760171940880 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29729] ppid=29718 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29729/stat : 29729 (java) S 29718 29718 14782 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 28 0 3898233 14134063104 52743 33554432000 4194304 4196468 140733822190240 139760170888336 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29730] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29730/stat : 29730 (java) S 29718 29718 14782 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 3898235 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759772993520 139760579336834 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29731] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29731/stat : 29731 (java) S 29718 29718 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3898236 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759771939744 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29732] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29732/stat : 29732 (java) S 29718 29718 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3898236 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759770887152 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29733] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29733/stat : 29733 (java) S 29718 29718 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3898240 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759769835728 139760579344283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29734] ppid=29718 vsize=13802796 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29734/stat : 29734 (java) R 29718 29718 14782 0 -1 4202560 3604 0 0 0 74 0 0 0 20 0 28 0 3898240 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759768769224 139760562822213 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29735] ppid=29718 vsize=13802796 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29735/stat : 29735 (java) R 29718 29718 14782 0 -1 4202560 2310 0 0 0 67 1 0 0 20 0 28 0 3898240 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759767719488 139760563722848 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29736] ppid=29718 vsize=13802796 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29736/stat : 29736 (java) R 29718 29718 14782 0 -1 4202560 3146 0 0 0 85 1 0 0 20 0 28 0 3898240 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759766659272 139760562822475 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29737] ppid=29718 vsize=13802796 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29737/stat : 29737 (java) R 29718 29718 14782 0 -1 4202560 4604 0 0 0 74 1 0 0 20 0 28 0 3898240 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759765625712 139760558030559 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29738] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29738/stat : 29738 (java) S 29718 29718 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3898240 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759764572384 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29739] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29739/stat : 29739 (java) S 29718 29718 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3898241 14134063104 52743 33554432000 4194304 4196468 140733822190240 139759763519920 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 13812308
[startup+3.10167 s]
/proc/loadavg: 14.59 15.45 14.74 13/300 29923
/proc/meminfo: memFree=31248908/32770624 swapFree=5804/224888
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
[pid=29719] ppid=29718 vsize=13802796 CPUtime=18.71 cores=1,3,5,7,9,11,13,15
/proc/29719/stat : 29719 (java) S 29718 29718 14782 0 -1 1077944320 31162 0 0 0 1842 29 0 0 20 0 28 0 3898232 14134063104 63261 33554432000 4194304 4196468 140733822190240 140733822172784 139760579325687 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
/proc/29719/statm: 3450699 63261 3262 1 0 3437932 0
[pid=29719/tid=29720] ppid=29718 vsize=13802796 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29720/stat : 29720 (java) S 29718 29718 14782 0 -1 1077944384 7683 0 0 0 98 3 0 0 20 0 28 0 3898232 14134063104 63261 33554432000 4194304 4196468 140733822190240 139760583566464 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29722] ppid=29718 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29722/stat : 29722 (java) S 29718 29718 14782 0 -1 1077944384 30 0 0 0 1 2 0 0 20 0 28 0 3898233 14134063104 63261 33554432000 4194304 4196468 140733822190240 139760178256144 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29723] ppid=29718 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29723/stat : 29723 (java) S 29718 29718 14782 0 -1 1077944384 25 0 0 0 2 1 0 0 20 0 28 0 3898233 14134063104 63261 33554432000 4194304 4196468 140733822190240 139760177203600 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29724] ppid=29718 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29724/stat : 29724 (java) S 29718 29718 14782 0 -1 1077944384 19 0 0 0 1 2 0 0 20 0 28 0 3898233 14134063104 63261 33554432000 4194304 4196468 140733822190240 139760176151056 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29725] ppid=29718 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29725/stat : 29725 (java) S 29718 29718 14782 0 -1 1077944384 23 0 0 0 0 1 0 0 20 0 28 0 3898233 14134063104 63261 33554432000 4194304 4196468 140733822190240 139760175098512 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29726] ppid=29718 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29726/stat : 29726 (java) S 29718 29718 14782 0 -1 1077944384 129 0 0 0 1 2 0 0 20 0 28 0 3898233 14134063104 63261 33554432000 4194304 4196468 140733822190240 139760174045968 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29727] ppid=29718 vsize=13802796 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29727/stat : 29727 (java) S 29718 29718 14782 0 -1 1077944384 29 0 0 0 1 2 0 0 20 0 28 0 3898233 14134063104 63261 33554432000 4194304 4196468 140733822190240 139760172993424 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29728] ppid=29718 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29728/stat : 29728 (java) S 29718 29718 14782 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 28 0 3898233 14134063104 63261 33554432000 4194304 4196468 140733822190240 139760171940880 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29729] ppid=29718 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29729/stat : 29729 (java) S 29718 29718 14782 0 -1 1077944384 47 0 0 0 1 1 0 0 20 0 28 0 3898233 14134063104 63326 33554432000 4194304 4196468 140733822190240 139760170888336 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29730] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29730/stat : 29730 (java) S 29718 29718 14782 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 28 0 3898235 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759772993520 139760579336834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29731] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29731/stat : 29731 (java) S 29718 29718 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3898236 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759771939808 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29732] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29732/stat : 29732 (java) S 29718 29718 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3898236 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759770887168 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29733] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29733/stat : 29733 (java) S 29718 29718 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3898240 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759769835728 139760579344283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29734] ppid=29718 vsize=13802796 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29734/stat : 29734 (java) R 29718 29718 14782 0 -1 4202560 4169 0 0 0 199 0 0 0 20 0 28 0 3898240 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759768769808 139760560868986 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29735] ppid=29718 vsize=13802796 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29735/stat : 29735 (java) R 29718 29718 14782 0 -1 4202560 3545 0 0 0 186 1 0 0 20 0 28 0 3898240 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759767716896 139760562838535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29736] ppid=29718 vsize=13802796 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29736/stat : 29736 (java) R 29718 29718 14782 0 -1 4202560 4121 0 0 0 201 1 0 0 20 0 28 0 3898240 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759766664480 139760564457969 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29737] ppid=29718 vsize=13802796 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29737/stat : 29737 (java) R 29718 29718 14782 0 -1 4202560 5313 0 0 0 92 1 0 0 20 0 28 0 3898240 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759765625552 139760558133689 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29738] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29738/stat : 29738 (java) S 29718 29718 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3898240 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759764572384 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29739] ppid=29718 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29739/stat : 29739 (java) S 29718 29718 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3898241 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759763519920 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29916] ppid=29718 vsize=13802796 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29916/stat : 29916 (java) R 29718 29718 14782 0 -1 4202560 75 0 0 0 92 0 0 0 20 0 28 0 3898414 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759753398024 139760571567077 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29917] ppid=29718 vsize=13802796 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29917/stat : 29917 (java) R 29718 29718 14782 0 -1 4202560 106 0 0 0 102 0 0 0 20 0 28 0 3898414 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759750237976 139760204769593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29918] ppid=29718 vsize=13802796 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29918/stat : 29918 (java) R 29718 29718 14782 0 -1 4202560 138 0 0 0 92 0 0 0 20 0 28 0 3898414 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759751293792 139760579347034 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29919] ppid=29718 vsize=13802796 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29919/stat : 29919 (java) R 29718 29718 14782 0 -1 4202560 65 0 0 0 90 0 0 0 20 0 28 0 3898414 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759754453624 139760571567077 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29920] ppid=29718 vsize=13802796 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29920/stat : 29920 (java) R 29718 29718 14782 0 -1 4202560 38 0 0 0 76 0 0 0 20 0 28 0 3898414 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759755502096 139760203887083 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29921] ppid=29718 vsize=13802796 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29921/stat : 29921 (java) R 29718 29718 14782 0 -1 4202560 79 0 0 0 78 0 0 0 20 0 28 0 3898414 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759752346912 139760205336973 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29922] ppid=29718 vsize=13802796 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29922/stat : 29922 (java) R 29718 29718 14782 0 -1 4202560 91 0 0 0 96 0 0 0 20 0 28 0 3898414 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759748136088 139760204566745 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29923] ppid=29718 vsize=13802796 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29923/stat : 29923 (java) R 29718 29718 14782 0 -1 4202560 51 0 0 0 89 0 0 0 20 0 28 0 3898414 14134063104 63326 33554432000 4194304 4196468 140733822190240 139759747079248 139760198842428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
Current children cumulated CPU time (s) 18.71
Current children cumulated vsize (KiB) 13812308
[startup+6.30165 s]
/proc/loadavg: 14.94 15.51 14.76 18/300 29971
/proc/meminfo: memFree=31093596/32770624 swapFree=5804/224888
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
[pid=29719] ppid=29718 vsize=13868332 CPUtime=43.86 cores=1,3,5,7,9,11,13,15
/proc/29719/stat : 29719 (java) S 29718 29718 14782 0 -1 1077944320 34172 0 0 0 4343 43 0 0 20 0 28 0 3898232 14201171968 94795 33554432000 4194304 4196468 140733822190240 140733822172784 139760579325687 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
/proc/29719/statm: 3467083 94795 3273 1 0 3454316 0
[pid=29719/tid=29720] ppid=29718 vsize=13868332 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29720/stat : 29720 (java) S 29718 29718 14782 0 -1 1077944384 7757 0 0 0 99 3 0 0 20 0 28 0 3898232 14201171968 94795 33554432000 4194304 4196468 140733822190240 139760583566464 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29722] ppid=29718 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29722/stat : 29722 (java) S 29718 29718 14782 0 -1 1077944384 45 0 0 0 2 4 0 0 20 0 28 0 3898233 14201171968 94795 33554432000 4194304 4196468 140733822190240 139760178256144 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29723] ppid=29718 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29723/stat : 29723 (java) S 29718 29718 14782 0 -1 1077944384 62 0 0 0 3 2 0 0 20 0 28 0 3898233 14201171968 94795 33554432000 4194304 4196468 140733822190240 139760177203600 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29724] ppid=29718 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29724/stat : 29724 (java) S 29718 29718 14782 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 28 0 3898233 14201171968 94795 33554432000 4194304 4196468 140733822190240 139760176151056 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29725] ppid=29718 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29725/stat : 29725 (java) S 29718 29718 14782 0 -1 1077944384 41 0 0 0 1 2 0 0 20 0 28 0 3898233 14201171968 94795 33554432000 4194304 4196468 140733822190240 139760175098512 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
################
# More data... #
################
[pid=29719/tid=30074] ppid=29718 vsize=13868332 CPUtime=164.78 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30074/stat : 30074 (java) R 29718 29718 14782 0 -1 4202560 3849 0 0 0 16477 1 0 0 20 0 28 0 3903771 14201171968 175055 33554432000 4194304 4196468 140733822190240 139759751297488 139760206913035 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30075] ppid=29718 vsize=13868332 CPUtime=165.22 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30075/stat : 30075 (java) R 29718 29718 14782 0 -1 4202560 712 0 0 0 16522 0 0 0 20 0 28 0 3903772 14201171968 175055 33554432000 4194304 4196468 140733822190240 139759753399928 139760204772743 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
Current children cumulated CPU time (s) 1759.22
Current children cumulated vsize (KiB) 13877844
[startup+282.302 s]
/proc/loadavg: 16.15 15.88 15.11 17/301 30085
/proc/meminfo: memFree=30042832/32770624 swapFree=5804/225248
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
[pid=29719] ppid=29718 vsize=13868332 CPUtime=2233.54 cores=1,3,5,7,9,11,13,15
/proc/29719/stat : 29719 (java) S 29718 29718 14782 0 -1 1077944320 107785 0 0 0 223141 213 0 0 20 0 28 0 3898232 14201171968 155354 33554432000 4194304 4196468 140733822190240 140733822172784 139760579325687 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
/proc/29719/statm: 3467083 155354 3300 1 0 3454316 0
[pid=29719/tid=29720] ppid=29718 vsize=13868332 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29720/stat : 29720 (java) S 29718 29718 14782 0 -1 1077944384 8107 0 0 0 99 4 0 0 20 0 28 0 3898232 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760583566464 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29722] ppid=29718 vsize=13868332 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29722/stat : 29722 (java) S 29718 29718 14782 0 -1 1077944384 1302 0 0 0 56 14 0 0 20 0 28 0 3898233 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760178256144 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29723] ppid=29718 vsize=13868332 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29723/stat : 29723 (java) S 29718 29718 14782 0 -1 1077944384 1837 0 0 0 59 16 0 0 20 0 28 0 3898233 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760177203600 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29724] ppid=29718 vsize=13868332 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29724/stat : 29724 (java) S 29718 29718 14782 0 -1 1077944384 1210 0 0 0 57 16 0 0 20 0 28 0 3898233 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760176151056 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29725] ppid=29718 vsize=13868332 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29725/stat : 29725 (java) S 29718 29718 14782 0 -1 1077944384 2080 0 0 0 57 15 0 0 20 0 28 0 3898233 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760175098512 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29726] ppid=29718 vsize=13868332 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29726/stat : 29726 (java) S 29718 29718 14782 0 -1 1077944384 1432 0 0 0 55 17 0 0 20 0 28 0 3898233 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760174045968 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29727] ppid=29718 vsize=13868332 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29727/stat : 29727 (java) S 29718 29718 14782 0 -1 1077944384 1783 0 0 0 55 16 0 0 20 0 28 0 3898233 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760172993424 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29728] ppid=29718 vsize=13868332 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29728/stat : 29728 (java) S 29718 29718 14782 0 -1 1077944384 787 0 0 0 57 16 0 0 20 0 28 0 3898233 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760171940880 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29729] ppid=29718 vsize=13868332 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29729/stat : 29729 (java) S 29718 29718 14782 0 -1 1077944384 1902 0 0 0 61 15 0 0 20 0 28 0 3898233 14201171968 155354 33554432000 4194304 4196468 140733822190240 139760170888336 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29730] ppid=29718 vsize=13868332 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29730/stat : 29730 (java) S 29718 29718 14782 0 -1 1077944384 5891 0 0 0 37 37 0 0 20 0 28 0 3898235 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759772993520 139760579336834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29731] ppid=29718 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29731/stat : 29731 (java) S 29718 29718 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3898236 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759771939808 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29732] ppid=29718 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29732/stat : 29732 (java) S 29718 29718 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3898236 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759770887168 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29733] ppid=29718 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29733/stat : 29733 (java) S 29718 29718 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3898240 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759769835728 139760579344283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29734] ppid=29718 vsize=13868332 CPUtime=3.66 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29734/stat : 29734 (java) S 29718 29718 14782 0 -1 1077944384 13012 0 0 0 365 1 0 0 20 0 28 0 3898240 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759768783344 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29735] ppid=29718 vsize=13868332 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29735/stat : 29735 (java) S 29718 29718 14782 0 -1 1077944384 12745 0 0 0 401 2 0 0 20 0 28 0 3898240 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759767730800 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29736] ppid=29718 vsize=13868332 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29736/stat : 29736 (java) S 29718 29718 14782 0 -1 1077944384 13407 0 0 0 412 2 0 0 20 0 28 0 3898240 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759766678256 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 3 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29737] ppid=29718 vsize=13868332 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29737/stat : 29737 (java) S 29718 29718 14782 0 -1 1077944384 11036 0 0 0 118 2 0 0 20 0 28 0 3898240 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759765625712 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29738] ppid=29718 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29738/stat : 29738 (java) S 29718 29718 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3898240 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759764572384 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29739] ppid=29718 vsize=13868332 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29739/stat : 29739 (java) S 29718 29718 14782 0 -1 1077944384 665 0 0 0 6 8 0 0 20 0 28 0 3898241 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759763519920 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30068] ppid=29718 vsize=13868332 CPUtime=224.5 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30068/stat : 30068 (java) R 29718 29718 14782 0 -1 4202560 1127 0 0 0 22449 1 0 0 20 0 28 0 3903771 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759747083016 139760204773013 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30069] ppid=29718 vsize=13868332 CPUtime=224.63 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30069/stat : 30069 (java) R 29718 29718 14782 0 -1 4202560 1275 0 0 0 22463 0 0 0 20 0 28 0 3903771 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759754453000 140733822278056 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30070] ppid=29718 vsize=13868332 CPUtime=224.31 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30070/stat : 30070 (java) R 29718 29718 14782 0 -1 4202560 2513 0 0 0 22430 1 0 0 20 0 28 0 3903771 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759755508736 139760205337618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30071] ppid=29718 vsize=13868332 CPUtime=223.56 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30071/stat : 30071 (java) R 29718 29718 14782 0 -1 4202560 1522 0 0 0 22355 1 0 0 20 0 28 0 3903771 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759752348104 139760204769629 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30072] ppid=29718 vsize=13868332 CPUtime=224.25 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30072/stat : 30072 (java) R 29718 29718 14782 0 -1 4202560 1826 0 0 0 22424 1 0 0 20 0 28 0 3903771 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759748137256 139760206743479 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30073] ppid=29718 vsize=13868332 CPUtime=224.22 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30073/stat : 30073 (java) R 29718 29718 14782 0 -1 4202560 466 0 0 0 22422 0 0 0 20 0 28 0 3903771 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759749190344 139760204769724 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30074] ppid=29718 vsize=13868332 CPUtime=223.93 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30074/stat : 30074 (java) R 29718 29718 14782 0 -1 4202560 4001 0 0 0 22392 1 0 0 20 0 28 0 3903771 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759751294320 139760204769602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30075] ppid=29718 vsize=13868332 CPUtime=223.91 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30075/stat : 30075 (java) R 29718 29718 14782 0 -1 4202560 804 0 0 0 22391 0 0 0 20 0 28 0 3903772 14201171968 155354 33554432000 4194304 4196468 140733822190240 139759753399928 139760204769724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
Current children cumulated CPU time (s) 2233.54
Current children cumulated vsize (KiB) 13877844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.401 s]
/proc/loadavg: 15.03 15.65 15.05 10/293 30744
/proc/meminfo: memFree=31293348/32770624 swapFree=5804/225476
[pid=29718] ppid=29715 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29718/stat : 29718 (xcsp3-exec) S 29715 29718 14782 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3898231 9740288 346 33554432000 4194304 5098028 140721630460128 140721630458232 139798220522108 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 32612352 140721630463118 140721630463328 140721630463328 140721630466027 0
/proc/29718/statm: 2378 346 289 221 0 87 0
[pid=29719] ppid=29718 vsize=13868332 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/29719/stat : 29719 (java) S 29718 29718 14782 0 -1 1077944320 110528 0 0 0 239774 226 0 0 20 0 28 0 3898232 14201171968 146610 33554432000 4194304 4196468 140733822190240 140733822172784 139760579325687 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
/proc/29719/statm: 3467083 146610 3300 1 0 3454316 0
[pid=29719/tid=29720] ppid=29718 vsize=13868332 CPUtime=1.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29720/stat : 29720 (java) S 29718 29718 14782 0 -1 1077944384 8107 0 0 0 99 4 0 0 20 0 28 0 3898232 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760583566464 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29722] ppid=29718 vsize=13868332 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29722/stat : 29722 (java) S 29718 29718 14782 0 -1 1077944384 1410 0 0 0 66 15 0 0 20 0 28 0 3898233 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760178256144 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29723] ppid=29718 vsize=13868332 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29723/stat : 29723 (java) S 29718 29718 14782 0 -1 1077944384 1889 0 0 0 70 16 0 0 20 0 28 0 3898233 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760177203600 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29724] ppid=29718 vsize=13868332 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29724/stat : 29724 (java) S 29718 29718 14782 0 -1 1077944384 1303 0 0 0 68 16 0 0 20 0 28 0 3898233 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760176151056 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29725] ppid=29718 vsize=13868332 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29725/stat : 29725 (java) S 29718 29718 14782 0 -1 1077944384 2303 0 0 0 67 15 0 0 20 0 28 0 3898233 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760175098512 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29726] ppid=29718 vsize=13868332 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29726/stat : 29726 (java) S 29718 29718 14782 0 -1 1077944384 1577 0 0 0 67 18 0 0 20 0 28 0 3898233 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760174045968 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29727] ppid=29718 vsize=13868332 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29727/stat : 29727 (java) S 29718 29718 14782 0 -1 1077944384 1849 0 0 0 66 16 0 0 20 0 28 0 3898233 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760172993424 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29728] ppid=29718 vsize=13868332 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29728/stat : 29728 (java) S 29718 29718 14782 0 -1 1077944384 838 0 0 0 67 16 0 0 20 0 28 0 3898233 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760171940880 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29729] ppid=29718 vsize=13868332 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29729/stat : 29729 (java) S 29718 29718 14782 0 -1 1077944384 1985 0 0 0 72 16 0 0 20 0 28 0 3898233 14201171968 146610 33554432000 4194304 4196468 140733822190240 139760170888336 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29730] ppid=29718 vsize=13868332 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29730/stat : 29730 (java) S 29718 29718 14782 0 -1 1077944384 7277 0 0 0 44 46 0 0 20 0 28 0 3898235 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759772993520 139760579336834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29731] ppid=29718 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29731/stat : 29731 (java) S 29718 29718 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3898236 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759771939808 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29732] ppid=29718 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29732/stat : 29732 (java) S 29718 29718 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3898236 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759770887168 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29733] ppid=29718 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29733/stat : 29733 (java) S 29718 29718 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3898240 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759769835728 139760579344283 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29734] ppid=29718 vsize=13868332 CPUtime=3.66 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29734/stat : 29734 (java) S 29718 29718 14782 0 -1 1077944384 13012 0 0 0 365 1 0 0 20 0 28 0 3898240 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759768783344 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29735] ppid=29718 vsize=13868332 CPUtime=4.03 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29735/stat : 29735 (java) S 29718 29718 14782 0 -1 1077944384 12746 0 0 0 401 2 0 0 20 0 28 0 3898240 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759767730800 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29736] ppid=29718 vsize=13868332 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29736/stat : 29736 (java) S 29718 29718 14782 0 -1 1077944384 13407 0 0 0 412 2 0 0 20 0 28 0 3898240 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759766678256 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 3 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29737] ppid=29718 vsize=13868332 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29737/stat : 29737 (java) S 29718 29718 14782 0 -1 1077944384 11036 0 0 0 118 2 0 0 20 0 28 0 3898240 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759765625712 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29738] ppid=29718 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29738/stat : 29738 (java) S 29718 29718 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3898240 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759764572384 139760579335893 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=29739] ppid=29718 vsize=13868332 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/29719/task/29739/stat : 29739 (java) S 29718 29718 14782 0 -1 1077944384 682 0 0 0 7 9 0 0 20 0 28 0 3898241 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759763519920 139760579336834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30068] ppid=29718 vsize=13868332 CPUtime=245.21 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30068/stat : 30068 (java) R 29718 29718 14782 0 -1 4202560 1160 0 0 0 24520 1 0 0 20 0 28 0 3903771 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759747082832 139760204769506 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30069] ppid=29718 vsize=13868332 CPUtime=245.36 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30069/stat : 30069 (java) R 29718 29718 14782 0 -1 4202560 1343 0 0 0 24535 1 0 0 20 0 28 0 3903771 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759754453192 139760206813669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30070] ppid=29718 vsize=13868332 CPUtime=244.95 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30070/stat : 30070 (java) R 29718 29718 14782 0 -1 4202560 2643 0 0 0 24494 1 0 0 20 0 28 0 3903771 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759755508688 139760204769719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30071] ppid=29718 vsize=13868332 CPUtime=244.28 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30071/stat : 30071 (java) R 29718 29718 14782 0 -1 4202560 1606 0 0 0 24427 1 0 0 20 0 28 0 3903771 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759752348104 139760204769323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30072] ppid=29718 vsize=13868332 CPUtime=244.87 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30072/stat : 30072 (java) R 29718 29718 14782 0 -1 4202560 1841 0 0 0 24486 1 0 0 20 0 28 0 3903771 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759748137544 139760206743456 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30073] ppid=29718 vsize=13868332 CPUtime=244.85 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30073/stat : 30073 (java) R 29718 29718 14782 0 -1 4202560 492 0 0 0 24485 0 0 0 20 0 28 0 3903771 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759749190152 139760204843082 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30074] ppid=29718 vsize=13868332 CPUtime=244.6 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30074/stat : 30074 (java) R 29718 29718 14782 0 -1 4202560 4116 0 0 0 24459 1 0 0 20 0 28 0 3903771 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759751294600 139760208728179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
[pid=29719/tid=30075] ppid=29718 vsize=13868332 CPUtime=244.59 cores=1,3,5,7,9,11,13,15
/proc/29719/task/30075/stat : 30075 (java) R 29718 29718 14782 0 -1 4202560 851 0 0 0 24459 0 0 0 20 0 28 0 3903772 14201171968 146610 33554432000 4194304 4196468 140733822190240 139759753399928 139760204773027 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 28905472 140733822194876 140733822195052 140733822195052 140733822197711 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13877844
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29719 sig 9
??? kill 29718 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29718 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1840
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=920
# CPU time returned by wait4() is 0.00276
# while last known CPU time is 2400
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.412
CPU time (s): 2400
CPU user time (s): 2397.74
CPU system time (s): 2.26
CPU usage (%): 791.003
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00184
system time used= 0.00092
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90377 second user time and 4.83727 second system time
The end