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-4249235-1500694239/watcher-4249235-1500694239 -o /tmp/evaluation-result-4249235-1500694239/solver-4249235-1500694239 -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 2066047848 HOME/instance-4249235-1500694239.xml
pid=14697
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: 16.04 14.52 13.82 10/271 14700
/proc/meminfo: memFree=31405844/32770624 swapFree=5804/267740
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
[startup+0.100071 s]
/proc/loadavg: 16.04 14.52 13.82 10/271 14700
/proc/meminfo: memFree=31405844/32770624 swapFree=5804/267740
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200346 s]
/proc/loadavg: 16.04 14.52 13.82 10/271 14700
/proc/meminfo: memFree=31405844/32770624 swapFree=5804/267740
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300261 s]
/proc/loadavg: 16.04 14.52 13.82 10/271 14700
/proc/meminfo: memFree=31405844/32770624 swapFree=5804/267740
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700217 s]
/proc/loadavg: 16.04 14.52 13.82 10/271 14700
/proc/meminfo: memFree=31405844/32770624 swapFree=5804/267740
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50122 s]
/proc/loadavg: 16.04 14.52 13.82 21/300 14802
/proc/meminfo: memFree=31233940/32770624 swapFree=5804/267768
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
[pid=14701] ppid=14700 vsize=13802796 CPUtime=7.44 cores=1,3,5,7,9,11,13,15
/proc/14701/stat : 14701 (java) S 14700 14700 14782 0 -1 1077944320 17119 0 0 0 731 13 0 0 20 0 28 0 4690145 14134063104 47360 33554432000 4194304 4196468 140730338897296 140730338879840 140271409827575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
/proc/14701/statm: 3450699 47360 3235 1 0 3437932 0
[pid=14701/tid=14702] ppid=14700 vsize=13802796 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14702/stat : 14702 (java) S 14700 14700 14782 0 -1 1077944384 6839 0 0 0 72 3 0 0 20 0 28 0 4690146 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271414068352 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14704] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14704/stat : 14704 (java) S 14700 14700 14782 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271362447888 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14705] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14705/stat : 14705 (java) S 14700 14700 14782 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271361395344 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14706] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14706/stat : 14706 (java) S 14700 14700 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271360342288 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14707] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14707/stat : 14707 (java) S 14700 14700 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271359289744 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14708] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14708/stat : 14708 (java) S 14700 14700 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271358237712 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14709] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14709/stat : 14709 (java) S 14700 14700 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271357185168 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14710] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14710/stat : 14710 (java) S 14700 14700 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271356132112 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14711] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14711/stat : 14711 (java) S 14700 14700 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 47360 33554432000 4194304 4196468 140730338897296 140271355079568 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14712] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14712/stat : 14712 (java) S 14700 14700 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4690149 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270670670064 140271409838722 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14713] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14713/stat : 14713 (java) S 14700 14700 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270669616288 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14714] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14714/stat : 14714 (java) S 14700 14700 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270668563184 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14715] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14715/stat : 14715 (java) S 14700 14700 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4690153 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270667511760 140271409846171 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14716] ppid=14700 vsize=13802796 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14716/stat : 14716 (java) R 14700 14700 14782 0 -1 4202560 1400 0 0 0 74 0 0 0 20 0 28 0 4690153 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270666459904 140271395844080 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14717] ppid=14700 vsize=13802796 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14717/stat : 14717 (java) R 14700 14700 14782 0 -1 4202560 1591 0 0 0 82 0 0 0 20 0 28 0 4690153 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270665403712 140271393359158 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14718] ppid=14700 vsize=13802796 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14718/stat : 14718 (java) R 14700 14700 14782 0 -1 4202560 1819 0 0 0 83 0 0 0 20 0 28 0 4690154 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270664335856 140271394942672 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14719] ppid=14700 vsize=13802796 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14719/stat : 14719 (java) R 14700 14700 14782 0 -1 4202560 2195 0 0 0 64 0 0 0 20 0 28 0 4690154 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270663301744 140271389236226 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14720] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14720/stat : 14720 (java) S 14700 14700 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4690154 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270662248928 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14721] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14721/stat : 14721 (java) S 14700 14700 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4690154 14134063104 47360 33554432000 4194304 4196468 140730338897296 140270661196464 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 13812308
[startup+3.10127 s]
/proc/loadavg: 16.04 14.52 13.82 20/300 14812
/proc/meminfo: memFree=31221452/32770624 swapFree=5804/267768
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
[pid=14701] ppid=14700 vsize=13802796 CPUtime=20.15 cores=1,3,5,7,9,11,13,15
/proc/14701/stat : 14701 (java) S 14700 14700 14782 0 -1 1077944320 19618 0 0 0 2000 15 0 0 20 0 28 0 4690145 14134063104 51038 33554432000 4194304 4196468 140730338897296 140730338879840 140271409827575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
/proc/14701/statm: 3450699 51038 3251 1 0 3437932 0
[pid=14701/tid=14702] ppid=14700 vsize=13802796 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14702/stat : 14702 (java) S 14700 14700 14782 0 -1 1077944384 6840 0 0 0 72 3 0 0 20 0 28 0 4690146 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271414068352 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14704] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14704/stat : 14704 (java) S 14700 14700 14782 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271362447888 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14705] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14705/stat : 14705 (java) S 14700 14700 14782 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271361395344 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14706] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14706/stat : 14706 (java) S 14700 14700 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271360342288 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14707] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14707/stat : 14707 (java) S 14700 14700 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271359289744 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14708] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14708/stat : 14708 (java) S 14700 14700 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271358237712 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14709] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14709/stat : 14709 (java) S 14700 14700 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271357185168 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14710] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14710/stat : 14710 (java) S 14700 14700 14782 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271356132112 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14711] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14711/stat : 14711 (java) S 14700 14700 14782 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 51038 33554432000 4194304 4196468 140730338897296 140271355079568 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14712] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14712/stat : 14712 (java) S 14700 14700 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4690149 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270670670064 140271409838722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14713] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14713/stat : 14713 (java) S 14700 14700 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270669616288 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14714] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14714/stat : 14714 (java) S 14700 14700 14782 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270668563184 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14715] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14715/stat : 14715 (java) S 14700 14700 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4690153 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270667511760 140271409846171 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14716] ppid=14700 vsize=13802796 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14716/stat : 14716 (java) R 14700 14700 14782 0 -1 4202560 2648 0 0 0 181 1 0 0 20 0 28 0 4690153 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270666460184 140271391371679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14717] ppid=14700 vsize=13802796 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14717/stat : 14717 (java) S 14700 14700 14782 0 -1 1077944384 1737 0 0 0 159 0 0 0 20 0 28 0 4690153 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270665407344 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14718] ppid=14700 vsize=13802796 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14718/stat : 14718 (java) R 14700 14700 14782 0 -1 4202560 2248 0 0 0 169 0 0 0 20 0 28 0 4690154 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270664354288 140271389990849 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14719] ppid=14700 vsize=13802796 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14719/stat : 14719 (java) R 14700 14700 14782 0 -1 4202560 2522 0 0 0 77 0 0 0 20 0 28 0 4690154 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270663301744 140271388511680 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14720] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14720/stat : 14720 (java) S 14700 14700 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4690154 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270662248928 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14721] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14721/stat : 14721 (java) S 14700 14700 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4690154 14134063104 51038 33554432000 4194304 4196468 140730338897296 140270661196464 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
Current children cumulated CPU time (s) 20.15
Current children cumulated vsize (KiB) 13812308
[startup+6.30164 s]
/proc/loadavg: 16.03 14.55 13.83 17/300 14828
/proc/meminfo: memFree=31193916/32770624 swapFree=5804/267780
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
[pid=14701] ppid=14700 vsize=13802796 CPUtime=45.57 cores=1,3,5,7,9,11,13,15
/proc/14701/stat : 14701 (java) S 14700 14700 14782 0 -1 1077944320 25172 0 0 0 4534 23 0 0 20 0 28 0 4690145 14134063104 55850 33554432000 4194304 4196468 140730338897296 140730338879840 140271409827575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
/proc/14701/statm: 3450699 55850 3255 1 0 3437932 0
[pid=14701/tid=14702] ppid=14700 vsize=13802796 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14702/stat : 14702 (java) S 14700 14700 14782 0 -1 1077944384 6840 0 0 0 72 3 0 0 20 0 28 0 4690146 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271414068352 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14704] ppid=14700 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14704/stat : 14704 (java) S 14700 14700 14782 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 4690147 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271362447888 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14705] ppid=14700 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14705/stat : 14705 (java) S 14700 14700 14782 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 4690147 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271361395344 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14706] ppid=14700 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14706/stat : 14706 (java) S 14700 14700 14782 0 -1 1077944384 557 0 0 0 1 1 0 0 20 0 28 0 4690147 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271360342288 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14707] ppid=14700 vsize=13802796 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14707/stat : 14707 (java) S 14700 14700 14782 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 28 0 4690147 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271359289744 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14708] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14708/stat : 14708 (java) S 14700 14700 14782 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 4690147 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271358237712 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14709] ppid=14700 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14709/stat : 14709 (java) S 14700 14700 14782 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 28 0 4690147 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271357185168 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14710] ppid=14700 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14710/stat : 14710 (java) S 14700 14700 14782 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 28 0 4690147 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271356132112 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14711] ppid=14700 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14711/stat : 14711 (java) S 14700 14700 14782 0 -1 1077944384 36 0 0 0 0 1 0 0 20 0 28 0 4690147 14134063104 55850 33554432000 4194304 4196468 140730338897296 140271355079568 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14712] ppid=14700 vsize=13802796 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14712/stat : 14712 (java) S 14700 14700 14782 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 28 0 4690149 14134063104 55850 33554432000 4194304 4196468 140730338897296 140270670670064 140271409838722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14713] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14713/stat : 14713 (java) S 14700 14700 14782 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 55850 33554432000 4194304 4196468 140730338897296 140270669616352 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14714] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14714/stat : 14714 (java) S 14700 14700 14782 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 55850 33554432000 4194304 4196468 140730338897296 140270668563200 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14715] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14715/stat : 14715 (java) S 14700 14700 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4690153 14134063104 55850 33554432000 4194304 4196468 140730338897296 140270667511760 140271409846171 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
################
# More data... #
################
[pid=14701/tid=15021] ppid=14700 vsize=13802796 CPUtime=18.63 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15021/stat : 15021 (java) R 14700 14700 14782 0 -1 4202560 26 0 0 0 1863 0 0 0 20 0 28 0 4710477 14134063104 82621 33554432000 4194304 4196468 140730338897296 140270646866440 140271036947113 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15022] ppid=14700 vsize=13802796 CPUtime=18.82 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15022/stat : 15022 (java) R 14700 14700 14782 0 -1 4202560 23 0 0 0 1882 0 0 0 20 0 28 0 4710477 14134063104 82621 33554432000 4194304 4196468 140730338897296 140270648971448 140271032961888 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
Current children cumulated CPU time (s) 1759.11
Current children cumulated vsize (KiB) 13812308
[startup+282.302 s]
/proc/loadavg: 16.15 15.33 14.32 17/299 15023
/proc/meminfo: memFree=29907508/32770624 swapFree=5804/268152
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
[pid=14701] ppid=14700 vsize=13802796 CPUtime=2233.41 cores=1,3,5,7,9,11,13,15
/proc/14701/stat : 14701 (java) S 14700 14700 14782 0 -1 1077944320 85845 0 0 0 223150 191 0 0 20 0 28 0 4690145 14134063104 75519 33554432000 4194304 4196468 140730338897296 140730338879840 140271409827575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
/proc/14701/statm: 3450699 75519 3283 1 0 3437932 0
[pid=14701/tid=14702] ppid=14700 vsize=13802796 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14702/stat : 14702 (java) S 14700 14700 14782 0 -1 1077944384 7161 0 0 0 72 3 0 0 20 0 28 0 4690146 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271414068352 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14704] ppid=14700 vsize=13802796 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14704/stat : 14704 (java) S 14700 14700 14782 0 -1 1077944384 1295 0 0 0 48 14 0 0 20 0 28 0 4690147 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271362447888 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14705] ppid=14700 vsize=13802796 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14705/stat : 14705 (java) S 14700 14700 14782 0 -1 1077944384 2139 0 0 0 47 15 0 0 20 0 28 0 4690147 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271361395344 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14706] ppid=14700 vsize=13802796 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14706/stat : 14706 (java) S 14700 14700 14782 0 -1 1077944384 2103 0 0 0 46 14 0 0 20 0 28 0 4690147 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271360342288 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14707] ppid=14700 vsize=13802796 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14707/stat : 14707 (java) S 14700 14700 14782 0 -1 1077944384 1689 0 0 0 48 14 0 0 20 0 28 0 4690147 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271359289744 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14708] ppid=14700 vsize=13802796 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14708/stat : 14708 (java) S 14700 14700 14782 0 -1 1077944384 2716 0 0 0 46 12 0 0 20 0 28 0 4690147 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271358237712 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14709] ppid=14700 vsize=13802796 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14709/stat : 14709 (java) S 14700 14700 14782 0 -1 1077944384 1645 0 0 0 48 13 0 0 20 0 28 0 4690147 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271357185168 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14710] ppid=14700 vsize=13802796 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14710/stat : 14710 (java) S 14700 14700 14782 0 -1 1077944384 2397 0 0 0 50 13 0 0 20 0 28 0 4690147 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271356132112 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14711] ppid=14700 vsize=13802796 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14711/stat : 14711 (java) S 14700 14700 14782 0 -1 1077944384 2556 0 0 0 46 14 0 0 20 0 28 0 4690147 14134063104 75519 33554432000 4194304 4196468 140730338897296 140271355079568 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14712] ppid=14700 vsize=13802796 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14712/stat : 14712 (java) S 14700 14700 14782 0 -1 1077944384 7930 0 0 0 45 49 0 0 20 0 28 0 4690149 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270670670064 140271409838722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14713] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14713/stat : 14713 (java) S 14700 14700 14782 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270669616352 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14714] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14714/stat : 14714 (java) S 14700 14700 14782 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270668563200 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14715] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14715/stat : 14715 (java) S 14700 14700 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4690153 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270667511760 140271409846171 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14716] ppid=14700 vsize=13802796 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14716/stat : 14716 (java) S 14700 14700 14782 0 -1 1077944384 6498 0 0 0 214 1 0 0 20 0 28 0 4690153 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270666459888 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14717] ppid=14700 vsize=13802796 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14717/stat : 14717 (java) S 14700 14700 14782 0 -1 1077944384 6745 0 0 0 200 1 0 0 20 0 28 0 4690153 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270665407344 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14718] ppid=14700 vsize=13802796 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14718/stat : 14718 (java) S 14700 14700 14782 0 -1 1077944384 8233 0 0 0 210 1 0 0 20 0 28 0 4690154 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270664354288 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14719] ppid=14700 vsize=13802796 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14719/stat : 14719 (java) S 14700 14700 14782 0 -1 1077944384 7895 0 0 0 85 1 0 0 20 0 28 0 4690154 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270663301744 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 9 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14720] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14720/stat : 14720 (java) S 14700 14700 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4690154 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270662248928 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14721] ppid=14700 vsize=13802796 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14721/stat : 14721 (java) S 14700 14700 14782 0 -1 1077944384 840 0 0 0 5 5 0 0 20 0 28 0 4690154 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270661196464 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15015] ppid=14700 vsize=13802796 CPUtime=77.79 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15015/stat : 15015 (java) R 14700 14700 14782 0 -1 4202560 1070 0 0 0 7779 0 0 0 20 0 28 0 4710477 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270652128056 140271037646549 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15016] ppid=14700 vsize=13802796 CPUtime=77.49 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15016/stat : 15016 (java) R 14700 14700 14782 0 -1 4202560 776 0 0 0 7749 0 0 0 20 0 28 0 4710477 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270651076488 140271035863875 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15017] ppid=14700 vsize=13802796 CPUtime=77.72 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15017/stat : 15017 (java) R 14700 14700 14782 0 -1 4202560 1726 0 0 0 7772 0 0 0 20 0 28 0 4710477 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270647919160 140271036947186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15018] ppid=14700 vsize=13802796 CPUtime=77.98 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15018/stat : 15018 (java) R 14700 14700 14782 0 -1 4202560 1101 0 0 0 7798 0 0 0 20 0 28 0 4710477 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270644761224 140271035864009 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15019] ppid=14700 vsize=13802796 CPUtime=77.89 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15019/stat : 15019 (java) R 14700 14700 14782 0 -1 4202560 1339 0 0 0 7789 0 0 0 20 0 28 0 4710477 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270645813512 140271036018072 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15020] ppid=14700 vsize=13802796 CPUtime=77.76 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15020/stat : 15020 (java) R 14700 14700 14782 0 -1 4202560 900 0 0 0 7776 0 0 0 20 0 28 0 4710477 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270653184896 140271035864774 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15021] ppid=14700 vsize=13802796 CPUtime=77.47 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15021/stat : 15021 (java) R 14700 14700 14782 0 -1 4202560 687 0 0 0 7747 0 0 0 20 0 28 0 4710477 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270646865488 140271036573005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15022] ppid=14700 vsize=13802796 CPUtime=77.82 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15022/stat : 15022 (java) R 14700 14700 14782 0 -1 4202560 378 0 0 0 7782 0 0 0 20 0 28 0 4710477 14134063104 75519 33554432000 4194304 4196468 140730338897296 140270648971272 140271035864564 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
Current children cumulated CPU time (s) 2233.41
Current children cumulated vsize (KiB) 13812308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.402 s]
/proc/loadavg: 16.11 15.37 14.36 17/299 15023
/proc/meminfo: memFree=29901116/32770624 swapFree=5804/268172
[pid=14700] ppid=14697 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14700/stat : 14700 (xcsp3-exec) S 14697 14700 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4690145 9740288 346 33554432000 4194304 5098028 140725977530192 140725977528296 140162059424380 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 34832384 140725977535630 140725977535840 140725977535840 140725977538539 0
/proc/14700/statm: 2378 346 289 221 0 87 0
[pid=14701] ppid=14700 vsize=13802796 CPUtime=2400.44 cores=1,3,5,7,9,11,13,15
/proc/14701/stat : 14701 (java) S 14700 14700 14782 0 -1 1077944320 87752 0 0 0 239847 197 0 0 20 0 28 0 4690145 14134063104 75580 33554432000 4194304 4196468 140730338897296 140730338879840 140271409827575 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
/proc/14701/statm: 3450699 75580 3283 1 0 3437932 0
[pid=14701/tid=14702] ppid=14700 vsize=13802796 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14702/stat : 14702 (java) S 14700 14700 14782 0 -1 1077944384 7161 0 0 0 72 3 0 0 20 0 28 0 4690146 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271414068352 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14704] ppid=14700 vsize=13802796 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14704/stat : 14704 (java) S 14700 14700 14782 0 -1 1077944384 1570 0 0 0 51 14 0 0 20 0 28 0 4690147 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271362447888 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14705] ppid=14700 vsize=13802796 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14705/stat : 14705 (java) S 14700 14700 14782 0 -1 1077944384 2190 0 0 0 50 15 0 0 20 0 28 0 4690147 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271361395344 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14706] ppid=14700 vsize=13802796 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14706/stat : 14706 (java) S 14700 14700 14782 0 -1 1077944384 2177 0 0 0 49 14 0 0 20 0 28 0 4690147 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271360342288 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14707] ppid=14700 vsize=13802796 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14707/stat : 14707 (java) S 14700 14700 14782 0 -1 1077944384 1737 0 0 0 51 14 0 0 20 0 28 0 4690147 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271359289744 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14708] ppid=14700 vsize=13802796 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14708/stat : 14708 (java) S 14700 14700 14782 0 -1 1077944384 2778 0 0 0 49 12 0 0 20 0 28 0 4690147 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271358237712 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14709] ppid=14700 vsize=13802796 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14709/stat : 14709 (java) S 14700 14700 14782 0 -1 1077944384 1711 0 0 0 51 14 0 0 20 0 28 0 4690147 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271357185168 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14710] ppid=14700 vsize=13802796 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14710/stat : 14710 (java) S 14700 14700 14782 0 -1 1077944384 2542 0 0 0 52 13 0 0 20 0 28 0 4690147 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271356132112 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14711] ppid=14700 vsize=13802796 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14711/stat : 14711 (java) S 14700 14700 14782 0 -1 1077944384 2581 0 0 0 49 15 0 0 20 0 28 0 4690147 14134063104 75580 33554432000 4194304 4196468 140730338897296 140271355079568 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14712] ppid=14700 vsize=13802796 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14712/stat : 14712 (java) S 14700 14700 14782 0 -1 1077944384 8190 0 0 0 49 53 0 0 20 0 28 0 4690149 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270670670064 140271409838722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14713] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14713/stat : 14713 (java) S 14700 14700 14782 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270669616352 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14714] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14714/stat : 14714 (java) S 14700 14700 14782 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4690150 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270668563200 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14715] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14715/stat : 14715 (java) S 14700 14700 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4690153 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270667511760 140271409846171 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14716] ppid=14700 vsize=13802796 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14716/stat : 14716 (java) S 14700 14700 14782 0 -1 1077944384 6500 0 0 0 214 1 0 0 20 0 28 0 4690153 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270666459888 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14717] ppid=14700 vsize=13802796 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14717/stat : 14717 (java) S 14700 14700 14782 0 -1 1077944384 6748 0 0 0 200 1 0 0 20 0 28 0 4690153 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270665407344 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14718] ppid=14700 vsize=13802796 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14718/stat : 14718 (java) S 14700 14700 14782 0 -1 1077944384 8235 0 0 0 210 1 0 0 20 0 28 0 4690154 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270664354288 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14719] ppid=14700 vsize=13802796 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14719/stat : 14719 (java) S 14700 14700 14782 0 -1 1077944384 7897 0 0 0 85 1 0 0 20 0 28 0 4690154 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270663301744 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 9 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14720] ppid=14700 vsize=13802796 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14720/stat : 14720 (java) S 14700 14700 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4690154 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270662248928 140271409837781 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=14721] ppid=14700 vsize=13802796 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/14701/task/14721/stat : 14721 (java) S 14700 14700 14782 0 -1 1077944384 858 0 0 0 5 5 0 0 20 0 28 0 4690154 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270661196464 140271409838722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15015] ppid=14700 vsize=13802796 CPUtime=98.66 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15015/stat : 15015 (java) R 14700 14700 14782 0 -1 4202560 1154 0 0 0 9866 0 0 0 20 0 28 0 4710477 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270652127864 140271036070944 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15016] ppid=14700 vsize=13802796 CPUtime=98.33 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15016/stat : 15016 (java) R 14700 14700 14782 0 -1 4202560 829 0 0 0 9833 0 0 0 20 0 28 0 4710477 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270651076536 140271037647062 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15017] ppid=14700 vsize=13802796 CPUtime=98.62 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15017/stat : 15017 (java) R 14700 14700 14782 0 -1 4202560 1861 0 0 0 9862 0 0 0 20 0 28 0 4710477 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270647918544 140271037733134 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15018] ppid=14700 vsize=13802796 CPUtime=98.73 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15018/stat : 15018 (java) R 14700 14700 14782 0 -1 4202560 1200 0 0 0 9873 0 0 0 20 0 28 0 4710477 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270644763856 140271037732797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15019] ppid=14700 vsize=13802796 CPUtime=98.74 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15019/stat : 15019 (java) R 14700 14700 14782 0 -1 4202560 1410 0 0 0 9874 0 0 0 20 0 28 0 4710477 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270645813560 140271037646435 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15020] ppid=14700 vsize=13802796 CPUtime=98.48 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15020/stat : 15020 (java) R 14700 14700 14782 0 -1 4202560 1070 0 0 0 9847 1 0 0 20 0 28 0 4710477 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270653181856 140271037904487 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15021] ppid=14700 vsize=13802796 CPUtime=98.35 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15021/stat : 15021 (java) R 14700 14700 14782 0 -1 4202560 879 0 0 0 9835 0 0 0 20 0 28 0 4710477 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270646865840 140271037646297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
[pid=14701/tid=15022] ppid=14700 vsize=13802796 CPUtime=98.72 cores=1,3,5,7,9,11,13,15
/proc/14701/task/15022/stat : 15022 (java) R 14700 14700 14782 0 -1 4202560 448 0 0 0 9872 0 0 0 20 0 28 0 4710477 14134063104 75580 33554432000 4194304 4196468 140730338897296 140270648971424 140271035864092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39329792 140730338903228 140730338903404 140730338903404 140730338906063 0
Current children cumulated CPU time (s) 2400.44
Current children cumulated vsize (KiB) 13812308
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 14701 sig 9
??? kill 14700 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 14700 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2613
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002613
# while last known CPU time is 2400.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.413
CPU time (s): 2400.44
CPU user time (s): 2398.47
CPU system time (s): 1.97
CPU usage (%): 791.147
Max. virtual memory (cumulated for all children) (KiB): 13812308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002613
system time used= 0
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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 4.09996 second user time and 4.50539 second system time
The end