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-4249179-1500694074/watcher-4249179-1500694074 -o /tmp/evaluation-result-4249179-1500694074/solver-4249179-1500694074 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 196512278 HOME/instance-4249179-1500694074.xml
pid=15045
running on 8 cores: 0,2,4,6,8,10,12,14
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.38 15.07 14.49 3/253 15049
/proc/meminfo: memFree=31784192/32770624 swapFree=5656/332892
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
[startup+0.100142 s]
/proc/loadavg: 14.38 15.07 14.49 3/253 15049
/proc/meminfo: memFree=31784192/32770624 swapFree=5656/332892
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200302 s]
/proc/loadavg: 14.38 15.07 14.49 3/253 15049
/proc/meminfo: memFree=31784192/32770624 swapFree=5656/332892
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300327 s]
/proc/loadavg: 14.38 15.07 14.49 3/253 15049
/proc/meminfo: memFree=31784192/32770624 swapFree=5656/332892
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70017 s]
/proc/loadavg: 14.38 15.07 14.49 3/253 15049
/proc/meminfo: memFree=31784192/32770624 swapFree=5656/332892
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5016 s]
/proc/loadavg: 14.43 15.07 14.50 14/291 15159
/proc/meminfo: memFree=31508748/32770624 swapFree=5656/332988
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
[pid=15050] ppid=15049 vsize=13801768 CPUtime=8.22 cores=0,2,4,6,8,10,12,14
/proc/15050/stat : 15050 (java) S 15049 15049 7102 0 -1 1077944320 19953 0 0 0 810 12 0 0 20 0 28 0 4674864 14133010432 48276 33554432000 4194304 4196468 140724987110512 140724987093056 140509968994039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
/proc/15050/statm: 3450442 48276 3216 1 0 3437675 0
[pid=15050/tid=15051] ppid=15049 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15051/stat : 15051 (java) S 15049 15049 7102 0 -1 1077944384 6779 0 0 0 55 3 0 0 20 0 28 0 4674864 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509973234816 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15055] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15055/stat : 15055 (java) S 15049 15049 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509925546896 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15056] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15056/stat : 15056 (java) S 15049 15049 7102 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509924494096 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15057] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15057/stat : 15057 (java) S 15049 15049 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509923441808 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15058] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15058/stat : 15058 (java) S 15049 15049 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509565352976 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15059] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15059/stat : 15059 (java) S 15049 15049 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509564299664 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15060] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15060/stat : 15060 (java) S 15049 15049 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509563246864 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15061] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15061/stat : 15061 (java) S 15049 15049 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509562194576 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15062] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15062/stat : 15062 (java) S 15049 15049 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509561141776 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15063] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15063/stat : 15063 (java) S 15049 15049 7102 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4674867 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509162912368 140509969005186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15069] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15069/stat : 15069 (java) S 15049 15049 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4674868 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509161858336 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15071] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15071/stat : 15071 (java) S 15049 15049 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4674868 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509160806000 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15073] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15073/stat : 15073 (java) S 15049 15049 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4674872 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509159754320 140509969012635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15074] ppid=15049 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15074/stat : 15074 (java) R 15049 15049 7102 0 -1 4202560 2609 0 0 0 80 0 0 0 20 0 28 0 4674872 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509158701464 140509953396897 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15075] ppid=15049 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15075/stat : 15075 (java) R 15049 15049 7102 0 -1 4202560 2246 0 0 0 77 1 0 0 20 0 28 0 4674872 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509157634248 140509954117612 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15076] ppid=15049 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15076/stat : 15076 (java) R 15049 15049 7102 0 -1 4202560 2762 0 0 0 73 0 0 0 20 0 28 0 4674872 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509156581424 140509952963870 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15077] ppid=15049 vsize=13801768 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15077/stat : 15077 (java) S 15049 15049 7102 0 -1 1077944384 2479 0 0 0 53 1 0 0 20 0 28 0 4674872 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509155543280 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15078] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15078/stat : 15078 (java) S 15049 15049 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4674872 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509154491232 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15079] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15079/stat : 15079 (java) S 15049 15049 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4674873 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509153438512 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15152] ppid=15049 vsize=13801768 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15152/stat : 15152 (java) R 15049 15049 7102 0 -1 4202560 22 0 0 0 50 0 0 0 20 0 28 0 4674941 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509142265704 140509608323610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15153] ppid=15049 vsize=13801768 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15153/stat : 15153 (java) R 15049 15049 7102 0 -1 4202560 21 0 0 0 56 0 0 0 20 0 28 0 4674941 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509139109016 140509607315583 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15154] ppid=15049 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15154/stat : 15154 (java) R 15049 15049 7102 0 -1 4202560 19 0 0 0 57 0 0 0 20 0 28 0 4674941 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509143318232 140509607104999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15155] ppid=15049 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15155/stat : 15155 (java) R 15049 15049 7102 0 -1 4202560 21 0 0 0 37 0 0 0 20 0 28 0 4674941 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509144371224 140509605935879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15156] ppid=15049 vsize=13801768 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15156/stat : 15156 (java) R 15049 15049 7102 0 -1 4202560 18 0 0 0 49 0 0 0 20 0 28 0 4674941 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509138054200 140509607190005 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15157] ppid=15049 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15157/stat : 15157 (java) R 15049 15049 7102 0 -1 4202560 21 0 0 0 65 0 0 0 20 0 28 0 4674941 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509145423952 140509607127526 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15158] ppid=15049 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15158/stat : 15158 (java) R 15049 15049 7102 0 -1 4202560 22 0 0 0 57 0 0 0 20 0 28 0 4674941 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509140158736 140509607450236 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15159] ppid=15049 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15159/stat : 15159 (java) R 15049 15049 7102 0 -1 4202560 22 0 0 0 40 0 0 0 20 0 28 0 4674941 14133010432 48276 33554432000 4194304 4196468 140724987110512 140509141215048 140509607426068 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 13811280
[startup+3.10124 s]
/proc/loadavg: 14.43 15.07 14.50 23/299 15247
/proc/meminfo: memFree=31400128/32770624 swapFree=5656/332988
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
[pid=15050] ppid=15049 vsize=13801768 CPUtime=20.94 cores=0,2,4,6,8,10,12,14
/proc/15050/stat : 15050 (java) S 15049 15049 7102 0 -1 1077944320 20558 0 0 0 2081 13 0 0 20 0 28 0 4674864 14133010432 50323 33554432000 4194304 4196468 140724987110512 140724987093056 140509968994039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
/proc/15050/statm: 3450442 50323 3235 1 0 3437675 0
[pid=15050/tid=15051] ppid=15049 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15051/stat : 15051 (java) S 15049 15049 7102 0 -1 1077944384 6780 0 0 0 55 3 0 0 20 0 28 0 4674864 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509973234816 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15055] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15055/stat : 15055 (java) S 15049 15049 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509925546896 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15056] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15056/stat : 15056 (java) S 15049 15049 7102 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509924494096 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15057] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15057/stat : 15057 (java) S 15049 15049 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509923441808 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15058] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15058/stat : 15058 (java) S 15049 15049 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509565352976 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15059] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15059/stat : 15059 (java) S 15049 15049 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509564299664 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15060] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15060/stat : 15060 (java) S 15049 15049 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509563246864 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15061] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15061/stat : 15061 (java) S 15049 15049 7102 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509562194576 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15062] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15062/stat : 15062 (java) S 15049 15049 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509561141776 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15063] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15063/stat : 15063 (java) S 15049 15049 7102 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4674867 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509162912368 140509969005186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15069] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15069/stat : 15069 (java) S 15049 15049 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4674868 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509161858336 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15071] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15071/stat : 15071 (java) S 15049 15049 7102 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4674868 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509160806000 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15073] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15073/stat : 15073 (java) S 15049 15049 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4674872 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509159754320 140509969012635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15074] ppid=15049 vsize=13801768 CPUtime=1.61 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15074/stat : 15074 (java) S 15049 15049 7102 0 -1 1077944384 2703 0 0 0 161 0 0 0 20 0 28 0 4674872 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509158701168 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15075] ppid=15049 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15075/stat : 15075 (java) S 15049 15049 7102 0 -1 1077944384 2359 0 0 0 189 1 0 0 20 0 28 0 4674872 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509157648368 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15076] ppid=15049 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15076/stat : 15076 (java) R 15049 15049 7102 0 -1 4202560 2875 0 0 0 185 0 0 0 20 0 28 0 4674872 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509156596376 140509952206864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15077] ppid=15049 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15077/stat : 15077 (java) S 15049 15049 7102 0 -1 1077944384 2614 0 0 0 67 1 0 0 20 0 28 0 4674872 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509155543280 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15078] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15078/stat : 15078 (java) S 15049 15049 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4674872 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509154491232 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15079] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15079/stat : 15079 (java) S 15049 15049 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4674873 14133010432 50323 33554432000 4194304 4196468 140724987110512 140509153438512 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
Current children cumulated CPU time (s) 20.94
Current children cumulated vsize (KiB) 13811280
[startup+6.30124 s]
/proc/loadavg: 14.43 15.07 14.50 17/299 15255
/proc/meminfo: memFree=31362212/32770624 swapFree=5656/332988
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
[pid=15050] ppid=15049 vsize=13801768 CPUtime=46.19 cores=0,2,4,6,8,10,12,14
/proc/15050/stat : 15050 (java) S 15049 15049 7102 0 -1 1077944320 27061 0 0 0 4602 17 0 0 20 0 28 0 4674864 14133010432 54118 33554432000 4194304 4196468 140724987110512 140724987093056 140509968994039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
/proc/15050/statm: 3450442 54118 3254 1 0 3437675 0
[pid=15050/tid=15051] ppid=15049 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15051/stat : 15051 (java) S 15049 15049 7102 0 -1 1077944384 6945 0 0 0 56 3 0 0 20 0 28 0 4674864 14133010432 54118 33554432000 4194304 4196468 140724987110512 140509973234816 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15055] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15055/stat : 15055 (java) S 15049 15049 7102 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 54118 33554432000 4194304 4196468 140724987110512 140509925546896 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15056] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15056/stat : 15056 (java) S 15049 15049 7102 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 54118 33554432000 4194304 4196468 140724987110512 140509924494096 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15057] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15057/stat : 15057 (java) S 15049 15049 7102 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 54118 33554432000 4194304 4196468 140724987110512 140509923441808 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15058] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15058/stat : 15058 (java) S 15049 15049 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4674865 14133010432 54118 33554432000 4194304 4196468 140724987110512 140509565352976 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
################
# More data... #
################
[pid=15050/tid=15270] ppid=15049 vsize=13801768 CPUtime=270.61 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15270/stat : 15270 (java) R 15049 15049 7102 0 -1 4202560 5329 0 0 0 27059 2 0 0 20 0 28 0 4675463 14133010432 143684 33554432000 4194304 4196468 140724987110512 140509140163552 140509608909428 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15271] ppid=15049 vsize=13801768 CPUtime=271.03 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15271/stat : 15271 (java) R 15049 15049 7102 0 -1 4202560 1185 0 0 0 27102 1 0 0 20 0 28 0 4675463 14133010432 143684 33554432000 4194304 4196468 140724987110512 140509139107520 140509607761525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
Current children cumulated CPU time (s) 2225.87
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.302 s]
/proc/loadavg: 15.61 15.57 14.88 9/269 15356
/proc/meminfo: memFree=31191140/32770624 swapFree=5656/333300
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
[pid=15050] ppid=15049 vsize=13801768 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/15050/stat : 15050 (java) S 15049 15049 7102 0 -1 1077944320 90904 0 0 0 239743 262 0 0 20 0 28 0 4674864 14133010432 151279 33554432000 4194304 4196468 140724987110512 140724987093056 140509968994039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
/proc/15050/statm: 3450442 151279 3285 1 0 3437675 0
[pid=15050/tid=15051] ppid=15049 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15051/stat : 15051 (java) S 15049 15049 7102 0 -1 1077944384 6945 0 0 0 56 3 0 0 20 0 28 0 4674864 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509973234816 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15055] ppid=15049 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15055/stat : 15055 (java) S 15049 15049 7102 0 -1 1077944384 1496 0 0 0 134 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509925546896 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15056] ppid=15049 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15056/stat : 15056 (java) S 15049 15049 7102 0 -1 1077944384 2059 0 0 0 136 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509924494096 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15057] ppid=15049 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15057/stat : 15057 (java) S 15049 15049 7102 0 -1 1077944384 2624 0 0 0 137 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509923441808 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15058] ppid=15049 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15058/stat : 15058 (java) S 15049 15049 7102 0 -1 1077944384 2221 0 0 0 136 15 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509565352976 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15059] ppid=15049 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15059/stat : 15059 (java) S 15049 15049 7102 0 -1 1077944384 1607 0 0 0 132 18 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509564299664 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15060] ppid=15049 vsize=13801768 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15060/stat : 15060 (java) S 15049 15049 7102 0 -1 1077944384 1264 0 0 0 135 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509563246864 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15061] ppid=15049 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15061/stat : 15061 (java) S 15049 15049 7102 0 -1 1077944384 1402 0 0 0 136 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509562194576 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15062] ppid=15049 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15062/stat : 15062 (java) S 15049 15049 7102 0 -1 1077944384 1080 0 0 0 136 18 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509561141776 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15063] ppid=15049 vsize=13801768 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15063/stat : 15063 (java) S 15049 15049 7102 0 -1 1077944384 8762 0 0 0 92 83 0 0 20 0 28 0 4674867 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509162912368 140509969005186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15069] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15069/stat : 15069 (java) S 15049 15049 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4674868 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509161858400 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15071] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15071/stat : 15071 (java) S 15049 15049 7102 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4674868 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509160806016 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15073] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15073/stat : 15073 (java) S 15049 15049 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509159754320 140509969012635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15074] ppid=15049 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15074/stat : 15074 (java) S 15049 15049 7102 0 -1 1077944384 7081 0 0 0 196 1 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509158701168 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15075] ppid=15049 vsize=13801768 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15075/stat : 15075 (java) S 15049 15049 7102 0 -1 1077944384 8546 0 0 0 247 2 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509157648368 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15076] ppid=15049 vsize=13801768 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15076/stat : 15076 (java) S 15049 15049 7102 0 -1 1077944384 8352 0 0 0 238 1 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509156596080 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15077] ppid=15049 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15077/stat : 15077 (java) S 15049 15049 7102 0 -1 1077944384 7102 0 0 0 75 1 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509155543280 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15078] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15078/stat : 15078 (java) S 15049 15049 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509154491232 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15079] ppid=15049 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15079/stat : 15079 (java) S 15049 15049 7102 0 -1 1077944384 1151 0 0 0 6 6 0 0 20 0 28 0 4674873 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509153438512 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15264] ppid=15049 vsize=13801768 CPUtime=292.5 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15264/stat : 15264 (java) R 15049 15049 7102 0 -1 4202560 3247 0 0 0 29247 3 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509145423272 140509607760788 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15265] ppid=15049 vsize=13801768 CPUtime=292.86 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15265/stat : 15265 (java) R 15049 15049 7102 0 -1 4202560 1017 0 0 0 29284 2 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509144371440 140509607761351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15266] ppid=15049 vsize=13801768 CPUtime=292.7 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15266/stat : 15266 (java) R 15049 15049 7102 0 -1 4202560 4774 0 0 0 29267 3 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509138055624 140509609618404 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15267] ppid=15049 vsize=13801768 CPUtime=292.93 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15267/stat : 15267 (java) R 15049 15049 7102 0 -1 4202560 2382 0 0 0 29292 1 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509143318136 140509608323658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15268] ppid=15049 vsize=13801768 CPUtime=292.65 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15268/stat : 15268 (java) R 15049 15049 7102 0 -1 4202560 4955 0 0 0 29263 2 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509142266568 140509607761088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15269] ppid=15049 vsize=13801768 CPUtime=292.68 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15269/stat : 15269 (java) R 15049 15049 7102 0 -1 4202560 486 0 0 0 29267 1 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509141213128 140509607760903 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15270] ppid=15049 vsize=13801768 CPUtime=292.02 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15270/stat : 15270 (java) R 15049 15049 7102 0 -1 4202560 6263 0 0 0 29200 2 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509140161320 140509607760725 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15271] ppid=15049 vsize=13801768 CPUtime=292.71 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15271/stat : 15271 (java) R 15049 15049 7102 0 -1 4202560 1207 0 0 0 29269 2 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509139110768 140509610517839 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13811280
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 15050 sig 9
??? kill 15049 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+304.302 s]
/proc/loadavg: 15.61 15.57 14.88 9/269 15356
/proc/meminfo: memFree=31191140/32770624 swapFree=5656/333300
[pid=15049] ppid=15045 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15049/stat : 15049 (xcsp3-exec) S 15045 15049 7102 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4674863 9740288 345 33554432000 4194304 5098028 140724434103648 140724434101752 140573655986812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 33509376 140724434105487 140724434105696 140724434105696 140724434108395 0
/proc/15049/statm: 2378 345 289 221 0 87 0
[pid=15050] ppid=15049 vsize=13801768 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/15050/stat : 15050 (java) S 15049 15049 7102 0 -1 1077944320 90904 0 0 0 239743 262 0 0 20 0 28 0 4674864 14133010432 151279 33554432000 4194304 4196468 140724987110512 140724987093056 140509968994039 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
/proc/15050/statm: 3450442 151279 3285 1 0 3437675 0
[pid=15050/tid=15051] ppid=15049 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15051/stat : 15051 (java) S 15049 15049 7102 0 -1 1077944384 6945 0 0 0 56 3 0 0 20 0 28 0 4674864 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509973234816 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15055] ppid=15049 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15055/stat : 15055 (java) S 15049 15049 7102 0 -1 1077944384 1496 0 0 0 134 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509925546896 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15056] ppid=15049 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15056/stat : 15056 (java) S 15049 15049 7102 0 -1 1077944384 2059 0 0 0 136 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509924494096 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15057] ppid=15049 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15057/stat : 15057 (java) S 15049 15049 7102 0 -1 1077944384 2624 0 0 0 137 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509923441808 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15058] ppid=15049 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15058/stat : 15058 (java) S 15049 15049 7102 0 -1 1077944384 2221 0 0 0 136 15 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509565352976 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15059] ppid=15049 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15059/stat : 15059 (java) S 15049 15049 7102 0 -1 1077944384 1607 0 0 0 132 18 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509564299664 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15060] ppid=15049 vsize=13801768 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15060/stat : 15060 (java) S 15049 15049 7102 0 -1 1077944384 1264 0 0 0 135 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509563246864 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15061] ppid=15049 vsize=13801768 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15061/stat : 15061 (java) S 15049 15049 7102 0 -1 1077944384 1402 0 0 0 136 17 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509562194576 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15062] ppid=15049 vsize=13801768 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15062/stat : 15062 (java) S 15049 15049 7102 0 -1 1077944384 1080 0 0 0 136 18 0 0 20 0 28 0 4674865 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509561141776 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15063] ppid=15049 vsize=13801768 CPUtime=1.75 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15063/stat : 15063 (java) S 15049 15049 7102 0 -1 1077944384 8762 0 0 0 92 83 0 0 20 0 28 0 4674867 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509162912368 140509969005186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15069] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15069/stat : 15069 (java) S 15049 15049 7102 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 4674868 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509161858400 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15071] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15071/stat : 15071 (java) S 15049 15049 7102 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4674868 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509160806016 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15073] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15073/stat : 15073 (java) S 15049 15049 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509159754320 140509969012635 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15074] ppid=15049 vsize=13801768 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15074/stat : 15074 (java) S 15049 15049 7102 0 -1 1077944384 7081 0 0 0 196 1 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509158701168 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15075] ppid=15049 vsize=13801768 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15075/stat : 15075 (java) S 15049 15049 7102 0 -1 1077944384 8546 0 0 0 247 2 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509157648368 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15076] ppid=15049 vsize=13801768 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15076/stat : 15076 (java) S 15049 15049 7102 0 -1 1077944384 8352 0 0 0 238 1 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509156596080 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15077] ppid=15049 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15077/stat : 15077 (java) S 15049 15049 7102 0 -1 1077944384 7102 0 0 0 75 1 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509155543280 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15078] ppid=15049 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15078/stat : 15078 (java) S 15049 15049 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4674872 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509154491232 140509969004245 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15079] ppid=15049 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15079/stat : 15079 (java) S 15049 15049 7102 0 -1 1077944384 1151 0 0 0 6 6 0 0 20 0 28 0 4674873 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509153438512 140509969005186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15264] ppid=15049 vsize=13801768 CPUtime=292.5 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15264/stat : 15264 (java) R 15049 15049 7102 0 -1 4202560 3247 0 0 0 29247 3 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509145423272 140509607760788 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15265] ppid=15049 vsize=13801768 CPUtime=292.86 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15265/stat : 15265 (java) R 15049 15049 7102 0 -1 4202560 1017 0 0 0 29284 2 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509144371440 140509607761351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15266] ppid=15049 vsize=13801768 CPUtime=292.7 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15266/stat : 15266 (java) R 15049 15049 7102 0 -1 4202560 4774 0 0 0 29267 3 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509138055624 140509609618404 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15267] ppid=15049 vsize=13801768 CPUtime=292.93 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15267/stat : 15267 (java) R 15049 15049 7102 0 -1 4202560 2382 0 0 0 29292 1 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509143318136 140509608323658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15268] ppid=15049 vsize=13801768 CPUtime=292.65 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15268/stat : 15268 (java) R 15049 15049 7102 0 -1 4202560 4955 0 0 0 29263 2 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509142266568 140509607761088 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15269] ppid=15049 vsize=13801768 CPUtime=292.68 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15269/stat : 15269 (java) R 15049 15049 7102 0 -1 4202560 486 0 0 0 29267 1 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509141213128 140509607760903 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15270] ppid=15049 vsize=13801768 CPUtime=292.02 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15270/stat : 15270 (java) R 15049 15049 7102 0 -1 4202560 6263 0 0 0 29200 2 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509140161320 140509607760725 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
[pid=15050/tid=15271] ppid=15049 vsize=13801768 CPUtime=292.71 cores=0,2,4,6,8,10,12,14
/proc/15050/task/15271/stat : 15271 (java) R 15049 15049 7102 0 -1 4202560 1207 0 0 0 29269 2 0 0 20 0 28 0 4675463 14133010432 151279 33554432000 4194304 4196468 140724987110512 140509139110768 140509610517839 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38617088 140724987114684 140724987114860 140724987114860 140724987117519 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15049 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=911
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1823
# CPU time returned by wait4() is 0.002734
# while last known CPU time is 2400.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.312
CPU time (s): 2400.05
CPU user time (s): 2397.43
CPU system time (s): 2.62
CPU usage (%): 788.68
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000911
system time used= 0.001823
maximum resident set size= 1384
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.10841 second user time and 4.18789 second system time
The end